Integrating Dependability Analysis into the Design of Distributed Systems 1
نویسنده
چکیده
The increasing importance and criticality of computers in technical applications have spurred a demand on dependable computers. In these applications acceptance of the system is strongly innuenced by dependability aspects. Consideration of dependability has to be an integral part of system development and has to start at early phases in the design. This paper presents our approach for the integration of dependability analysis into the design of distributed systems. This design methodology supports a close and eecient interaction of design creation and design evaluation activities. The feasibility of this approach is shown by applying it to the application \Rolling Ball", thereby demonstrating the interaction of design creation activities and dependability analysis.
منابع مشابه
Integrating Dependability Analysis into the Real-time System Design Process
In this research, we are developing a design framework for integrating dependability analysis into the distributed, heterogeneous, fault-tolerant real-time system design process. We focus on two dependability attributes: reliability and availability. We are implementing this framework on top of existing systems for the design of distributed, real-time systems such as TimeWiz (Ref. 4). This will...
متن کاملStochastic Process
We introduce Stochastic Process Algebras as a novel approach for the structured design and analysis of both the functional behaviour and performabil-ity (i.e performance and dependability) characteristics of parallel and distributed systems. This is achieved by integrating stochastic modelling and analysis into the powerful and well investigated formal description techniques of process algebras...
متن کاملA spline collocation method for integrating a class of chemical reactor equations
. In this paper, we develop a quadratic spline collocation method for integrating the nonlinear partial differential equations (PDEs) of a plug flow reactor model. The method is proposed in order to be used for the operation of control design and/or numerical simulations. We first present the Crank-Nicolson method to temporally discretize the state variable. Then, we develop and analyze the pro...
متن کاملDependability Driven System Level Co-Design and Optimization of Embedded Systems
Embedded systems are becoming pervasive in diverse application domains such as automotive, avionic, medical, control and their functionality is increasingly defined by software (SW). Such systems especially in safety-critical (SC) applications, with implications on system dependability and real-time must be designed to be dependable (fault tolerant) enough and have to meet timing requirements i...
متن کاملIntegrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services
This paper presents a novel flexible, dependable, and reliable operating system design for distributed reconfigurable system on chip. The dependability and reliability are achieved by integrating online model checking technique. Each OS service has different implementations which are further partitioned into small blocks. This operating system design allows the OS service to be adapted at runti...
متن کامل